home *** CD-ROM | disk | FTP | other *** search
/ Freelog 125 / Freelog_MarsAvril2015_No125.iso / ViePratique / ArchiFacile / ArchiFacileSetup.exe / {app} / nw.pak / Unnamed File 001043.unknown < prev    next >
Text File  |  2014-10-14  |  5KB  |  245 lines
  1. .CodeMirror * {
  2.   box-sizing: content-box;
  3. }
  4.  
  5. .CodeMirror {
  6.   line-height: 1.2em !important;
  7.   background-color: transparent !important;
  8. }
  9.  
  10. .CodeMirror .source-frame-eval-expression {
  11.   outline: 0px;
  12.   border: 1px solid rgb(163, 41, 34);
  13.   border-left-width: 0px;
  14.   border-right-width: 0px;
  15. }
  16.  
  17. .CodeMirror .source-frame-eval-expression-end {
  18.   border-right-width: 1px;
  19.   margin-right: -1px;
  20. }
  21.  
  22. .CodeMirror .source-frame-eval-expression-start {
  23.   border-left-width: 1px;
  24.   margin-left: -1px;
  25. }
  26.  
  27. .CodeMirror-readonly .CodeMirror-cursor {
  28.     display: none;
  29. }
  30.  
  31. .CodeMirror .CodeMirror-gutters {
  32.   border-right: 1px solid rgb(187, 187, 187);
  33.   background-color: rgb(240, 240, 240);
  34. }
  35.  
  36. .CodeMirror .CodeMirror-linenumber {
  37.   color: rgb(128, 128, 128);
  38. }
  39.  
  40. .CodeMirror-linenumber {
  41.   min-width: 22px !important;
  42. }
  43.  
  44. .cm-highlight {
  45.   -webkit-animation: "fadeout" 2s 0s;
  46. }
  47. @-webkit-keyframes fadeout {
  48.     from {background-color: rgb(255, 255, 120); }
  49.     to { background-color: white; }
  50. }
  51.  
  52. .cm-highlight.cm-execution-line {
  53.   -webkit-animation: "fadeout-execution-line" 1s 0s;
  54. }
  55. @-webkit-keyframes fadeout-execution-line {
  56.     from {background-color: rgb(121, 141, 254); }
  57.     to { background-color: rgb(171, 191, 254); }
  58. }
  59.  
  60. .cm-breakpoint .CodeMirror-linenumber {
  61.   color: white;
  62.   border-width: 1px 4px 1px 1px !important;
  63.   -webkit-border-image: url(Images/breakpoint.png) 1 4 1 1;
  64.   margin: 0px 0px 0px 3px !important;
  65.   padding-right: 3px;
  66.   padding-left: 1px;
  67.   height: 11px;
  68.   line-height: 12px !important;
  69. }
  70.  
  71. .cm-breakpoint.cm-breakpoint-conditional .CodeMirror-linenumber {
  72.   -webkit-border-image: url(Images/breakpointConditional.png) 1 4 1 1;
  73. }
  74.  
  75. @media (-webkit-min-device-pixel-ratio: 1.5) {
  76. .cm-breakpoint .CodeMirror-linenumber {
  77.   -webkit-border-image: url(Images/breakpoint_2x.png) 2 8 2 2;
  78. }
  79. .cm-breakpoint.cm-breakpoint-conditional .CodeMirror-linenumber {
  80.   -webkit-border-image: url(Images/breakpointConditional_2x.png) 2 8 2 2;
  81. }
  82. } /* media */
  83.  
  84. .cm-breakpoint-disabled .CodeMirror-linenumber {
  85.   opacity: 0.5;
  86. }
  87.  
  88. .breakpoints-deactivated .cm-breakpoint .CodeMirror-linenumber {
  89.     opacity: 0.5;
  90. }
  91.  
  92. .breakpoints-deactivated .cm-breakpoint-disabled .CodeMirror-linenumber {
  93.     opacity: 0.3;
  94. }
  95.  
  96. .CodeMirror-matchingbracket {
  97.   border-bottom: 1px solid black;
  98.   color: #222 !important;
  99. }
  100.  
  101. .CodeMirror-nonmatchingbracket {
  102.   color: #222 !important;
  103. }
  104.  
  105. .cm-whitespace::before {
  106.     position: absolute;
  107.     pointer-events: none;
  108.     color: rgb(175, 175, 175);
  109. }
  110.  
  111. .cm-tab {
  112.     position: relative;
  113. }
  114.  
  115. .cm-tab:before {
  116.     display: none;
  117.     content: ".";
  118.     color: transparent;
  119.     border-bottom: 1px solid rgb(175, 175, 175);
  120.     position: absolute;
  121.     width: 90%;
  122.     bottom: 50%;
  123.     left: 5%;
  124. }
  125.  
  126. .show-whitespaces .CodeMirror .cm-tab:before {
  127.     display: block !important;
  128. }
  129.  
  130. .cm-execution-line {
  131.     background-color: rgb(171, 191, 254);
  132.     outline: 1px solid rgb(64, 115, 244);
  133. }
  134.  
  135. .cm-execution-line .CodeMirror-linenumber {
  136.     border-right: 1px solid rgb(64, 115, 244);
  137. }
  138.  
  139. .cm-token-highlight {
  140.     position: relative;
  141. }
  142.  
  143. .cm-token-highlight:before {
  144.     position: absolute;
  145.     border: 1px solid gray;
  146.     border-radius: 3px;
  147.     top: 0px;
  148.     bottom: -1px;
  149.     left: 0px;
  150.     right: 0px;
  151.     content: "";
  152. }
  153.  
  154. .cm-line-with-selection .cm-column-with-selection:before {
  155.     border: none;
  156. }
  157.  
  158. .cm-search-highlight {
  159.     position: relative;
  160. }
  161.  
  162. .cm-search-highlight:before {
  163.     position: absolute;
  164.     border-top-style: solid;
  165.     border-bottom-style: solid;
  166.     border-top-color: gray;
  167.     border-bottom-color: gray;
  168.     border-top-width: 1px;
  169.     border-bottom-width: 1px;
  170.     top: -1px;
  171.     bottom: 0px;
  172.     left: 0px;
  173.     right: 0px;
  174.     content: "";
  175. }
  176.  
  177. .cm-search-highlight-full:before {
  178.     border: 1px solid gray;
  179.     border-radius: 3px;
  180. }
  181.  
  182. .cm-search-highlight-start:before {
  183.     border-left-width: 1px;
  184.     border-top-left-radius: 2px;
  185.     border-bottom-left-radius: 2px;
  186.     border-left-style: solid;
  187.     border-left-color: gray;
  188. }
  189.  
  190. .cm-search-highlight-end:before {
  191.     border-right-width: 1px;
  192.     border-top-right-radius: 2px;
  193.     border-bottom-right-radius: 2px;
  194.     border-right-style: solid;
  195.     border-right-color: gray;
  196. }
  197.  
  198. .cm-line-with-selection .cm-column-with-selection.cm-search-highlight-full:before {
  199.     border-radius: 1px;
  200. }
  201.  
  202. .cm-line-with-selection .cm-column-with-selection.cm-search-highlight-start:before {
  203.     border-top-left-radius: 1px;
  204.     border-bottom-left-radius: 1px;
  205. }
  206.  
  207. .cm-line-with-selection .cm-column-with-selection.cm-search-highlight-end:before {
  208.     border-top-right-radius: 1px;
  209.     border-bottom-right-radius: 1px;
  210. }
  211.  
  212. .cm-line-with-selection .cm-column-with-selection.cm-search-highlight:before {
  213.     margin: -1px -1px -1px -1px;
  214.     background-color: rgb(241, 234, 0);
  215.     z-index: -1;
  216. }
  217.  
  218. .CodeMirror .webkit-html-message-bubble {
  219.     box-shadow: black 0px 2px 5px;
  220.     border-radius: 9px;
  221.     -webkit-border-fit: lines;
  222.     font-size: 10px;
  223.     font-family: Lucida Grande, sans-serif;
  224.     font-weight: bold;
  225.     margin: 3px 10px;
  226.     padding: 1px 2px 0;
  227.     z-index: 5;
  228. }
  229.  
  230. .CodeMirror .webkit-html-message-bubble img {
  231.     position: relative;
  232.     top: 1px;
  233.     margin-right: 2px;
  234. }
  235.  
  236. .CodeMirror .webkit-html-warning-message {
  237.     background-color: rgb(100%, 62%, 42%);
  238.     border: 2px solid rgb(100%, 52%, 21%);
  239. }
  240.  
  241. .CodeMirror .webkit-html-error-message {
  242.     background-color: rgb(100%, 42%, 42%);
  243.     border: 2px solid rgb(100%, 31%, 31%);
  244. }
  245.